Section: New Results
Factorization and Normalization, Essentially
Participant : Beniamino Accattoli.
This joint work with Claudia Faggian (CNRS researcher at Paris Diderot) and Giulio Guerrieri (Post-doc at Bath University) [15] refines a rewriting technique for proving factorization and normalization theorems for -calculi, that are theorems providing foundations to the design of functional programming languages and proof assistants. We both simplify and extend the scope of a widely used technique by Takahashi. At the concrete level, the new abstract technique is applied to four relevant case studies.